There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

In common with traditional forms of epistemic internalism, epistemological disjunctivism attempts to incorporate an awareness condition on justification. Unlike traditional forms of internalism, however, epistemological disjunctivism rejects the so-called New Evil Genius thesis. In so far as epistemological disjunctivism rejects the New Evil Genius thesis, it is revisionary. -/- After explaining what epistemological disjunctivism is, and how it relates to traditional forms of epistemic internalism / externalism, I shall argue that the epistemological disjunctivist’s account of the intuitions underlying the New (...) Evil Genius thought experiment is at best incomplete. As presented, therefore, epistemological disjunctivism is unable to accommodate the core guiding intuitions of epistemic internalism. Given the stated aim of not being revisionary on this score, the view is at a dialectical disadvantage over the traditional forms of epistemic internalism the position is meant to replace. Unfortunately, therefore, at present, the impasse between internalism and externalism remains. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either self-defeating (...) or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...) from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news. (shrink)

In her 2004 book Carol Gould addresses the fundamental issue of democratizing globalization, that is to say of finding ways to open transnational institutions and communities to democratic participation by those widely affected by their decisions. The book develops a framework for expanding participation in crossborder decisions, arguing for a broader understanding of human rights and introducing a new role for the ideas of care and solidarity at a distance. Reinterpreting the idea of universality to accommodate a multiplicity of cultural (...) perspectives, the author takes up a number of applied issues, including the persistence of racism, cultural rights, women's human rights, the democratic management of firms, the use of the Internet to enhance political participation, and the importance of empathy and genuine democracy in understanding terrorism and responding to it. Accessibly written with a minimum of technical jargon this is a major contribution to political philosophy. (shrink)

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...) are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

The modal ontological argument (MOA) proceeds from God’s possible existence to God’s actual existence. A prominent objection to the MOA is that it suffers from a symmetry problem: an exactly parallel modal ontological argument can be given for God's non-existence. Several attempts have been made to break the symmetry between the arguments. This draft is a mostly comprehensive survey of those attempts. -/- The draft was initially written as a supplement to the 2024 Summer edition of the SEP entry on (...) Ontological Arguments. However, the draft is not included in the SEP entry. (shrink)

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...) on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

The principle of energy conservation is widely taken to be a se- rious difficulty for interactionist dualism (whether property or sub- stance). Interactionists often have therefore tried to make it satisfy energy conservation. This paper examines several such attempts, especially including E. J. Lowe’s varying constants proposal, show- ing how they all miss their goal due to lack of engagement with the physico-mathematical roots of energy conservation physics: the first Noether theorem (that symmetries imply conservation laws), its converse (that conservation (...) laws imply symmetries), and the locality of continuum/field physics. Thus the “conditionality re- sponse”, which sees conservation as (bi)conditional upon symme- tries and simply accepts energy non-conservation as an aspect of interactionist dualism, is seen to be, perhaps surprisingly, the one most in accord with contemporary physics (apart from quantum mechanics) by not conflicting with mathematical theorems basic to physics. A decent objection to interactionism should be a posteri- ori, based on empirically studying the brain. (shrink)

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

What should we make of claims by members of other groups to have moralities different from our own? Human Rights in Chinese Thought gives an extended answer to this question in the first study of its kind. It integrates a full account of the development of Chinese rights discourse - reaching back to important, though neglected, origins of that discourse in 17th and 18th century Confucianism - with philosophical consideration of how various communities should respond to contemporary Chinese claims about (...) the uniqueness of their human rights concepts. The book elaborates a plausible kind of moral pluralism and demonstrates that Chinese ideas of human rights do indeed have distinctive characteristics, but it nonetheless argues for the importance and promise of cross-cultural moral engagement. (shrink)

In the first section, I characterize skeptical theism more fully. This is necessary in order to address some important misconceptions and mischaracterizations that appear in the essays by Maitzen, Wilks, and O’Connor. In the second section, I describe the most important objections they raise and group them into four “families” so as to facilitate an orderly series of responses. In the four sections that follow, I respond to the objections.

The relation between body and mind is one of the oldest riddles that has puzzled mankind. That material and mental events may interact is accepted even by the law: our mental capacity to concentrate on the task can be seriously reduced by drugs. Physical and chemical processes may act upon the mind; and when we are writing a difficult letter, our mind acts upon our body and, through a chain of physical events, upon the mind of the recipient of the (...) letter. This is what the authors of this book call the 'interaction of mental and physical events'. We know very little about this interaction; and according to recent philosophical fashions this is explained by the alleged fact that we have brains but no thoughts. The authors of this book stress that they cannot solve the body mind problem; but they hope that they have been able to shed new light on it. Eccles especially with his theory that the brain is a detector and amplifier; a theory that has given rise to important new developments, including new and exciting experiments; and Popper with his highly controversial theory of 'World 3'. They show that certain fashionable solutions which have been offered fail to understand the seriousness of the problems of the emergence of life, or consciousness and of the creativity of our minds. In Part I, Popper discusses the philosophical issue between dualist or even pluralist interaction on the one side, and materialism and parallelism on the other. There is also a historical review of these issues. In Part II, Eccles examines the mind from the neurological standpoint: the structure of the brain and its functional performance under normal as well as abnormal circumstances. The result is a radical and intriguing hypothesis on the interaction between mental events and detailed neurological occurrences in the cerebral cortex. Part III, based on twelve recorded conversations, reflects the exciting exchange between the authors as they attempt to come to terms with their opinions. (shrink)

This chapter first surveys general issues in the epistemic internalism / externalism debate: what is the distinction, what motivates it, and what arguments can be given on both sides. -/- The second part of the chapter will examine the internalism / externalism debate as regards to the specific case of the epistemology of memory belief.

Epistemic internalism, by stressing the indispensability of the subject’s perspective, strikes many as plausible at first blush. However, many people have tended to reject the position because certain kinds of beliefs have been thought to pose special problems for epistemic internalism. For example, internalists tend to hold that so long as a justifier is available to the subject either immediately or upon introspection, it can serve to justify beliefs. Many have thought it obvious that no such view can be correct, (...) as it has been alleged that internalism cannot account for the possibility of the justification of beliefs stored in memory. -/- My aim in this paper is to offer a response that explains how memory justification is possible in a way that is consistent with epistemic internalism and an awareness condition on justification. Specifically, I will explore the plausibility of various options open to internalists, including both foundationalist and non-foundationalist approaches to the structure of justification. I intend to show that despite other difficult challenges that epistemic internalism might face, memory belief poses no special problems that the resources of internalism cannot adequately address. (shrink)

The history of evolution is a history of development from less to more complex organisms. This growth in complexity of organisms goes hand in hand with a concurrent growth in complexity of environments and of organism-environment relations. It is a concern with this latter aspect of evolutionary development that motivates the present paper. We begin by outlining a theory of organism-environment relations. We then show that the theory can be applied to a range of different sorts of cases, both biological (...) and non-biological, in which objects are lodged or housed within specific environments, or niches. Biological science is interested in types—for example in genotypes, phenotypes, and environment types—in regularities that can serve as the basis for the formulation of laws or general principles. Types, however, can exist only through their corresponding tokens. Our theory of token environments is meant to plug this gap and to provide a first step towards a general theory of causally relevant spatial volumes. (shrink)

While philosophers of mind have devoted abundant time and attention to questions of content and consciousness, philosophical questions about the nature and scope of mental action have been relatively neglected. Galen Strawson’s account of mental action, arguably the most well-known extant account, holds that cognitive mental action consists in triggering the delivery of content to one’s field of consciousness. However, Strawson fails to recognize several distinct types of mental action that might not reduce to triggering content delivery. In this paper, (...) we argue that meditation provides a useful model for understanding a wider range of types of mental action than heretofore recognized. Conclusions yielded by two distinct bodies of current psychological research on meditation and cognition, and meditation and introspection, buttress meditation’s suitability for this role. (shrink)

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

Many countries are experiencing increasing levels of demand for access to assisted reproductive technologies. Policies regarding who can access ART and with what support from a collective purse are highly contested, raising questions about what state responses are justified. Whilst much of this debate has focused on the status of infertility as a disease, we argue that this is something of a distraction, since disease framing does not provide the far-reaching, robust justification for state support that proponents of ART seem (...) to suppose. Instead, we propose that debates about appropriate state responses should consider the various implications for health and broader well-being that may be associated with difficulties starting a family. We argue that the harms and disruption to valued life projects of subfertility-related suffering may provide a stronger basis for justifying state support in this context. Further, we suggest that, whilst ART may alleviate some of the harm resulting from subfertility, population-level considerations can indicate a broader range of interventions aimed at tackling different sources of subfertility-related harm, consistent with broader public health aims. (shrink)

In the present article, he explains why divine silence poses a serious intellectual obstacle to belief in God, and then goes on to consider ways of overcoming that obstacle. After considering several ways in which divine silence might actually be beneficial to human beings, he argues that perhaps silence is nothing more or less than God’s preferred mode of interaction with creatures like us. Perhaps God simply desires communion rather than overt communication with human beings, and perhaps God has provided (...) ways for us to experience God’s presence richly even amidst the silence. (shrink)

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...) senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

My goal in this paper is to show that naturalists cannot reasonably endorse moral realism. My argument will come in two parts. The first part aims to show that any plausible and naturalistically acceptable argument in favor of belief in objective moral properties will appeal in part to simplicity considerations (broadly construed)—and this regardless of whether moral properties are reducible to non-moral properties. The second part argues for the conclusion that appeals to simplicity justify belief in moral properties only if (...) either those properties are not objective or something like theism is true. Thus, if my argument is sound, naturalists can reasonably accept moral realism only if they are prepared to accept something like theism. But, as will become clear, naturalists can reasonably accept theism or something like it only if belief in some such doctrine is justified by the methods of science. For present purposes, I’ll assume (what I think virtually every naturalist will grant) that belief in theism and relevantly similar doctrines is not justified by the methods of science. Thus, I will conclude that naturalists cannot reasonably accept moral realism. (shrink)

The thesis that rationality consists in the straight-forward maximization of utility has not lacked critics. Typically, however, detractors reject the Humean picture of rationality upon which it seems based; they seek to emancipate reason from the tyranny of the passions. It is, then, noteworthy when an attack on this thesis comes from ‘within the ranks.’David Gauthier's paper ‘Reason and Maximization’ is just such an attack; and for this reason, among others, it is interesting. It is not successful, though. In defense (...) of this conclusion, we shall begin by relating the essentials of Gauthier's argument. Then we shall examine in some detail Gauthier's claim that the principle of straighforward max-imization fails to be self-supporting. We shall argue that Gauthier's defense of this claim is at best incomplete. Finally, we shall show that the fact that a normative principle is self-subverting or non-self-supporting does not entail that the principle is defective. (shrink)

This is the editorial for a special volume of JETAI, featuring papers by Omohundro, Armstrong/Sotala/O’Heigeartaigh, T Goertzel, Brundage, Yampolskiy, B. Goertzel, Potapov/Rodinov, Kornai and Sandberg. - If the general intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity – so even if we estimate the probability of this event to be fairly low, it is necessary to think about it now. We need to estimate what progress we can expect, what (...) the impact of superintelligent machines might be, how we might design safe and controllable systems, and whether there are directions of research that should best be avoided or strengthened. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Recourse to a variety of well-constructed arguments is undoubtedly a significant strategic asset for cultivating more ethical eating habits and convincing others to follow suit. Nevertheless, common obstacles often prevent even the best arguments from getting traction in our lives. For one thing, many of us enter the discussion hampered by firmly-entrenched but largely uninvestigated assumptions about food that make it difficult to imagine how even well-supported arguments that challenge our familiar frames of culinary reference could actually apply to us. (...) When an argument contests our cherished food ways, we are inclined almost reflexively to dodge, downplay, or dismiss it, and all the more anxiously if we suspect it’s a good one. Moreover, even when we find such arguments convincing and resolve to change, we often discover to our chagrin that, when the buffet is open, we lack the will to act on our convictions. Whether the obstacle is a lack of imagination or a failure of will, the way to concrete moral progress is blocked. Our aim here is to consider how other modes of philosophical inquiry can help us to overcome these two obstacles that arise at the margins of philosophy’s argumentative contributions to food ethics. In part I, we diagnose these obstacles as common moral malaises—we call them the malaise of imagination and the malaise of will—that create existential unease for moral agents that can curtail their ability to eat in accordance with what they learn from philosophical arguments. We then propose that other modes of philosophical inquiry can serve as therapy for these malaises. In part II, we argue that philosophical hermeneutics (exemplified by Hans-Georg Gadamer) can treat the malaise of imagination by helping us to excavate and revise hidden prejudices that interfere with our ability authentically to engage arguments that challenge entrenched assumptions about food. In part III, we argue that philosophy as care of the self (exemplified by Pierre Hadot) can treat the malaise of will by helping us to identify habits of thought and action that hamper concrete progress toward new dietary ideals and to replace them, through repetitive exercises, with transformed habits. In a brief conclusion, we identify some benefits of this approach. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

The question raised by this volume is “How successful is naturalism?” The question presupposes that we already know what naturalism is and what counts as success. But, as anyone familiar with the literature on naturalism knows, both suppositions are suspect. To answer the question, then, we must first say what we mean in this context by both ‘naturalism’ and ‘success’. I’ll start with ‘success’. I will then argue that, by the standard of measurement that I shall identify here, naturalism is (...) an utter failure. (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...) propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of ”soft” bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (shrink)

If the intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity. Time has come to consider these issues, and this consideration must include progress in AI as much as insights from the theory of AI. The papers in this volume try to make cautious headway in setting the problem, evaluating predictions on the future of AI, proposing ways to ensure that AI systems will be beneficial to humans – and critically (...) evaluating such proposals. (shrink)

The paper discusses the extended mind thesis with a view to the notions of “agent” and of “mind”, while helping to clarify the relation between “embodiment” and the “extended mind”. I will suggest that the extended mind thesis constitutes a reductio ad absurdum of the notion of ‘mind’; the consequence of the extended mind debate should be to drop the notion of the mind altogether – rather than entering the discussion how extended it is.

The declared goal of this paper is to fill this gap: “... cognitive systems research needs questions or challenges that define progress. The challenges are not (yet more) predictions of the future, but a guideline to what are the aims and what would constitute progress.” – the quotation being from the project description of EUCogII, the project for the European Network for Cognitive Systems within which this formulation of the ‘challenges’ was originally developed (http://www.eucognition.org). So, we stick out our neck (...) and formulate the challenges for artificial cognitive systems. These challenges are articulated in terms of a definition of what a cognitive system is: a system that learns from experience and uses its acquired knowledge (both declarative and practical) in a flexible manner to achieve its own goals. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not taken into account. (...) The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

For any given society, its particular technology of communication has far-reaching consequences, not merely as regards social organization, but on the epistemic level as well. Plato's name-theory of meaning represents the transition from the age of primary orality to that of literacy; Wittgenstein's use-theory of meaning stands for the transition from the age of literacy to that of a second orality (audiovisual communication, electronic information processing). On the basis of a use-theory of meaning the problem of machine consciousness, to which (...) the later Wittgenstein again and again returned, is capable of a non-essentialist solution: appropriate changes in our form of life might well entail a radically different psychological language-game. (shrink)

In this commentary, I suggest expanding the deliberative aspects of critical care policy development in two ways. First, critical-care policy development should expand the scope of deliberation by leaving fewer issues up to expertise or private choice. For instance. it should allow deliberation about the relevance of age, disability, social position, and psychological well-being to allocation decisions. Second, it should broaden both the set of costs considered and the set of stakeholders represented in the deliberative process. In particular, it should (...) consider efforts to reduce the cost of end-of-life care and to redirect resources away from the provision of costly interventions, and should expand the set of individuals included in deliberation to include stakeholders outside the health-care system. (shrink)

Review essay covering Godehard Link, ed. One Hundred Years of Russell’s Paradox (de Gruyter 2004).

Wall, G. Locke's attack on innate knowledge.--Harris, J. Leibniz and Locke on innate ideas.--Greenlee, D. Locke's idea of idea.--Aspelin, G. Idea and perception in Locke's essay.--Greenlee, D. Idea and object in the essay.--Mathews, H. E. Locke, Malebranche and the representative theory.--Alexander, P. Boyle and Locke on primary and secondary qualities.--Ayers, M. R. The ideas of power and substance in Locke's philosophy.--Allison, H. E. Locke's theory of personal identity.--Kretzmann, N. The main thesis of Locke's semantic theory.--Woozley, A. D. Some remarks on (...) Locke's account of knowledge.--Laudan, L. The nature and sources of Locke's views on hypotheses. (shrink)

The thesis of this paper is that utopianism is a theoretical necessity—we couldn’t, for example, engage in normative political philosophy without it—and, further, that in consciously embracing utopianism we will consequently experience an enrichment of our political lives. Thus, the title of my paper has a double meaning: it highlights the fact that utopianism always plays a normative role in political philosophy, as its concern is inevitably the promotion of a certain vision of the good life; and secondly it suggests (...) that there normatively ‘ought to be’ a recognized and respectable role for utopianism within political philosophy. The first meaning, I believe, is self-explanatory. Regarding the second, it expresses my hope to— in short— take what is old, and through a modest process of rehabilitation, make it new again. (shrink)

In this essay, the tension that Benacerraf identifies for theories of mathematical truth is used as the vehicle for arguing against a particular desideratum for semantic theories. More specifically, I place in question the desideratum that a semantic theory, provided for some area of discourse, should run in parallel with the semantic theory holding for the rest of the language. The importance of this desideratum is also made clear by means of tracing out the subtle implications of its rejection.